Short Description of Publications
نویسنده
چکیده
Most known constructions of probabilistically checkable proofs (PCPs) either blow up the proof size by a large polynomial or have a high (though constant) query complexity. For instance, the proof size could be decreased to almost linear (i.e., n ), but at the expense of a large query complexity (e.g., in excess of 10) (see Polishchuk and Spielman). On the other hand, the PCP constructions of Hastad achieve the optimal query complexity of 3, but at the expense of blowing up the proof size by a very large exponent. In this paper we give a transformation with slightly-super-cubic blowup in proof size, with a low query complexity. Specifically, the verifier probes the proof in 16 bits and rejects every proof of a false assertion with probability arbitrarily close to 1/2, while accepting corrects proofs of theorems with probability one. The proof is obtained by revisiting known constructions and improving numerous components therein.
منابع مشابه
Short communication: Chromosome description and localization of Nucleolus Organizing Regions (NORs) by Ag-staining Technique in Alburnus filippii (Cyprinidae, Cypriniformes) in Anzali Lagoon, North of Iran
متن کامل
Short communication: Chromosome description and localization of Nucleolus Organizing Regions (NORs) by Ag-staining Technique in Alburnus filippii (Cyprinidae, Cypriniformes) in Anzali Lagoon, North of Iran
متن کامل
The Study of Stage Description (Didascalia) in Tennessee Williams’ One Act Plays
Stage Description or, as Michael Issacharoff says, Didascalia, is a unique characteristic of Drama which has been part of plays from the beginning of the tradition of playwriting in mankind’s history. Didascalia in modern plays has found a complex function, helping playwrites as a technical tool as well as creating a richer vision of the characters, transfer plot in a betterr way, showing the c...
متن کاملDoing/Allowing Harm Distinction:A Description, Analysis and Critique of Accounts of Donagan, Foot, Quinn and Bennet
The subject of "harm" and its binary distinction is one of the most recent topics in moral philosophy which has been dealt with by some moral philosophers in the last three decades. In recent years, there have also been some Iranian publications under this topic. The do/allow distinction is one of the distinctions. Moderate and minimalist philosophers who are advocates of this distinction offer...
متن کاملBibliometric Study of periodontal publications by Iranian authors between 1995-2015: A Medline approach
BACKGROUND AND AIM: One of the methods to measure scientific achievement in a particular field is bibliometric analysis of scientific publications. The main goals of this study were bibliometric analysis of Iranian periodontal literature, study design, and topics investigated in periodontal research published from 1995 to 2015 in PubMed.METHODS: PubMed search strategy was developed to identify ...
متن کاملMathematical description and prognosis of synergistic interaction of radon and tobacco smoking
Background: Radon and its short-lived decay products are considered as the important sources of public exposure to natural radioactivity. The synergistic interaction between tobacco smoking and radon is known to be an actual problem. This study has provided a mathematical description and prognosis of the carcinogenic effects after combined action of radon with smoking. Materials and Me...
متن کامل